d6fc934caebcc5788df0f489f7aa5a9c3bacd409,de.prob2.kernel/src/main/java/de/prob/model/eventb/translate/MachineXmlHandler.java,MachineXmlHandler,endContextExtraction,#,391
Before Change
ProofExtractor extractor = new ProofExtractor(internalContext,
directoryPath + File.separatorChar + internalContext.getName());
internalContext.addProofs(extractor.getProofs());
extractingContext = false;
}
After Change
}
private void endContextExtraction() throws SAXException {
ModelElementList<EventBAxiom> axms = new ModelElementList<EventBAxiom>(inheritedAxioms);
axms.addMultiple(axioms);
internalContext = internalContext.set(Axiom.class, axms);
internalContext = internalContext.set(Constant.class, new ModelElementList<EventBConstant>(constants));
internalContext = internalContext.set(Context.class, new ModelElementList<Context>(Extends));
internalContext = internalContext.set(de.prob.model.representation.Set.class, new ModelElementList<de.prob.model.representation.Set>(sets));
ProofExtractor extractor = new ProofExtractor(internalContext,
directoryPath + File.separatorChar + internalContext.getName());
internalContext = internalContext.set(ProofObligation.class, extractor.getProofs());
model = model.addContext(internalContext);
if (seesNames.contains(internalContext.getName())) {
sees.add(internalContext);
}